Paralleles symbolisches und algebraisches Rechnen

Projektleitung und Mitarbeiter

Kuechlin, W. W. (Prof. Dr. sc. techn.), gemeinsam mit: Nevin, N. J. (M. Sc.), Ward, J. A. (M. Sc.) beide Dept. Computer Sci., Ohio State Univ., USA)

Forschungsbericht : 1990-1992

Tel./ Fax.:

Projektbeschreibung

Das SAC-2 System fuer Computer Algebra und automatisches Beweisen wird parallelisiert. Zielarchitektur sind Netzwerke paralleler Arbeitsplatzrechner. Die S-threads Systemumgebung zum parallelen symbolischen Rechnen wird auf Basis des MACH Betriebssystems entwickelt. Darauf aufbauend entsteht PARSAC-2, mit parallelen Algorithmen wie z. B. Langzahlmultiplikation und GGT und Nullstellenberechnung von Polynomen.

Mittelgeber

Drittmittelfinanzierung: Nat. Sci. Found., USA

Publikationen

Kuechlin, W.: PARSAC-2: A parallel SAC-2 based on threads. - In Proc. AAECC-8 (Eighth International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes), Vol. 508 of Lecture Notes in Computer Science, p. 341-353 (Tokyo, Japan, August 1990). - Springer-Verlag.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 15.09.96
Copyright Hinweise